It is possible to write such programs because the Feynman diagrams constitute a formal language with a formal grammar. كان من الممكن برمجة مثل هذه البرامج لأن مخططات فاينمان تكونت من لغة شكلية ذات قواعد شكلية.
He is most notable for his contributions to several fields of discrete mathematics including formal languages and automata theory. اشتهر أرمين بمساهماته في العديد من مجالات الرياضيات المتقطعة بما في ذلك اللغة الشكلية و نظرية التشغيل الذاتي.
A formula of a formal language is a valid formula if and only if it is true under every possible interpretation of the language. تكون صيغة أي لغة رسمية صيغة صحيحة فقط إذا كانت صحيحة تحت كل تفسير ممكن للغة.
Despite its minimalistic nature, it has become the parental formal language of an implemented and (for entertainment) used programming language called Brainfuck. بالرغم من طبيعتها المتطرفة، فقد أصبحت اللغة الأم الرسمية للغة البرمجة المطبقة (للتسلية) والمستخدمة والتي تدعى برين فاك.
A key property of a formal language is the level of difficulty required to decide whether a given word is in the language. أهم خصائص اللغة الرسمية هي مستوى الصعوبة المطلوب لنقرر ما إذا كانت كلمة معينة موجودة في اللغة .
In some formal language studies, (e.g. AFL theory) a variation on the Kleene star operation called the Kleene plus is used. في بعض دراسات اللغة الشكلية، (مثل نظرية أفل) فان الاختلاف على عملية نجمة كلين سميت باسم كلين زائد وتم استخدامها بالفعل.
A formal language is an abstract structure, but a natural language is not, because its rules of grammar and syntax are open to debate and interpretation. تعد اللغة الشكلية بنية مجردة، ولكنها ليست لغة طبيعية، لأن قواعدها النحوية وبناء الجملة مفتوح للنقاش والتفسير.
This means that every formal language that can be decided by such a machine is a context-sensitive language, and every context-sensitive language can be decided by such a machine. هذا يعني أن كل لغة رسمية يمكن وصفها من قبل آلة كتلك ستكون لغة حساسة للسياق، وكل لغة حساسة للسياق يمكن وصفها من قبل آلة كتلك.
The fundamental task of taking input in one language and producing output in a non-trivially different language can be understood in terms of the core transformational operations of formal language theory. يمكن فهم المهمة الأساسية المتمثلة في أخذ المدخلات في لغة واحدة وإنتاج المخرجات بلغة غير مختلفة تمامًا من حيث عمليات النحو التوليدي التحليلي لنظرية اللغة الشكلية.
One way to measure the power of a computational model is to study the class of formal languages that the model can generate; in such a way is the Chomsky hierarchy of languages is obtained. أحد طرق قيا قوة النموذج الحسابي هو بدراسة فئة اللغة الرسمية التي يمكن لهذا النموذج إنتاجها، وبهذه الطريقة تكون هرمية تشومسكي للغات قد تم تحقيقها.
جوال إصدار